Developing an Alloy Framework akin to OO Frameworks
نویسندگان
چکیده
Object-oriented (OO) frameworks are known to provide tremendous benefits with respect to software reuse. Developers construct new applications through framework instantiation, which, in general, does not require understanding the implementation of the framework classes and methods. In prior work, we developed an OO middleware framework, called SzumoFrame, which supports the development and long-term maintenance of multi-threaded but strictly exclusive systems. While using Alloy to analyze models of programs that instantiate SzumoFrame, we discovered how to construct a reusable Alloy specification of SzumoFrame that can be customized with application-specific detail in a manner that is akin to the instantiation of an OO framework. The strong symmetry between this Alloy framework and SzumoFrame simplifies the construction of specifications and allows application developers to analyze candidate designs before committing to code.
منابع مشابه
Developing customer relationship management (CRM) processes using standard frameworks and MCDM techniques
Organizations have found that functional approach to business destroys flexibility and agility by gaining experience over the time. The main weakness with Task-based organizations is that they can hardly act flexibly and adapt themselves to the changing environment. In today’s' dynamic and competitive business world, organizations focus significantly on managing and improving their business pro...
متن کاملA Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience
We report on experience from teaching OO technology to undergraduate students. Before they can successfully tackle the projects they have to successfully shift to the OO paradigm, pick up a working knowledge of some OO language, learn and practice OOA and OOD, and get used to advanced ideas like patterns and frameworks. In order to relieve this heavy burden somewhat, we provided an object-orien...
متن کاملOn OO frameworks and coordinate free formulations of PDEs
An object-oriented (OO) framework for partial diierential equations (PDEs) provides software abstractions for numerical simulation of PDEs. The design of such frameworks is not trivial, and the outcome of the design is highly dependent on which mathematical abstractions one chooses to support. In this paper, coordinate free abstractions for PDEs are advocated. The coordinate free formulation of...
متن کاملUsing a Framework to Teach OOT to Beginners
We report on experience from teaching OO technology to undergraduate students. Before they can successfully tackle the projects we expect them to do in their second year they have to successfully shift to the OO paradigm, pick up a working knowledge of some OO language, learn and practice OOA and OOD, and get used to advanced ideas like patterns and frameworks. In order to relieve this heavy bu...
متن کاملInvestigating Focused Techniques for Understanding Frameworks
An object-oriented framework is an OO class hierarchy augmented with a built-in model which defines how the objects derived from the hierarchy interact with one another. Thus, a framework is more than a class library: it is a generic solution within a problem domain because the model of interaction is domain-specific. A framework is tailored to solve a particular problem by customizing its abst...
متن کامل